منابع مشابه
Warping Peirce Quincuncial Panoramas
The Peirce quincuncial projection is a mapping of the surface of a sphere to the interior of a square. It is a conformal mapping except for four points on the equator. These points of non-conformality cause significant artifacts in photographic applications. In this paper, we propose an algorithm and userinterface to mitigate these artifacts. Moreover, in order to facilitate an interactive user...
متن کاملThe Peirce translation
We develop applications of selection functions to proof theory and computational extraction of witnesses from proofs in classical analysis. The main novelty is a translation of minimal logic plus Peirce’s law into minimal logic, which we refer to as the Peirce translation, as it eliminates uses of Peirce’s law. When combined with modified realizability this translation applies to full classical...
متن کاملA Peirce Style Calculus for ALC
Description logics (DLs) are a well-understood family of knowledge representation (KR) languages. The notation of DLs has the flavour of a variable-free first order predicate logic. In this paper, a diagrammatic representation of the DLALC, based on Peirce’s existential graphs, is presented, and a set of transformation rules on these graphs is provided. It is proven that these rules form a soun...
متن کاملA modal characterization of Peirce algebras
Peirce algebras combine sets relations and various operations linking the two in a unifying setting This note o ers a modal perspective on Peirce algebras It uses modal logic to characterize the full Peirce algebras AMS Subject Classi cation B G G A CR Subject Classi cation F F I
متن کاملManaging complex objects in Peirce
The Peirce project (named after Charles Sanders Peirce) is an international collabora-tive project aiming to construct a freely available conceptual graphs workbench to support research in the conceptual graphs community in areas such as natural language processing, enterprise modelling, program speciication and veriication, management information systems , conceptual information retrieval, med...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philósophos - Revista de Filosofia
سال: 2010
ISSN: 1982-2928,1414-2236
DOI: 10.5216/phi.v1i2.10671